Leggi per la minimizzazione

#	Legge	Espressione
1	Identità	A + 0 = A A · 1 = A
2	Dominazione	A + 1 = 1 A · 0 = 0
3	Idempotenza	A + A = A A · A = A
4	Doppia Negazione	¬(¬A) = A
5	Commutativa	A + B = B + A A · B = B · A
6	Associativa	(A + B) + C = A + (B + C) (A · B) · C = A · (B · C)
7	Distributiva	A · (B + C) = A·B + A·C A + (B·C) = (A+B)(A+C)
8	De Morgan	¬(A·B) = ¬A + ¬B ¬(A+B) = ¬A · ¬B
9	Assorbimento	A + (A·B) = A A · (A+B) = A
10	Complemento	A + ¬A = 1 A · ¬A = 0